1. A prosentential theory of truth /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Language and languages-- Philosophy.,Proposition (Logic),Truth.,Language and languages-- Philosophy.,PHILOSOPHY-- Epistemology.,Proposition (Logic),Truth.

رده :
BC171
.
G76
1992eb

2. Advocacy and opposition :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Debates and debating.,Persuasion (Rhetoric),Proposition (Logic),Reasoning.,Debates and debating.,Persuasion (Rhetoric),Proposition (Logic),Reasoning.

رده :
P301
.
5
.
P47
R93
2012

3. Aristotle's Categories And De Interpretatione

پدیدآورنده:

کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)

موضوع: منطق,مقولات, -- متون قدیمی تا ۱۸۰۰م.,Logic - Early Works to 1800 ,Proposition (Logic),Categories (Philosophy),گزاره (منطق)

رده :
BC28
.
A7A7
‬

4. Aristotle's Categories and de Interpretatione

پدیدآورنده:

کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)

موضوع: Categories (Philosophy),Proposition (Logic),Logic - Early Works to 1800

رده :
B438
‬ .
A5
,
A65
‬

5. Bounded arithmetic, propositional logic, and complexity theory

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Constructive mathematics.,Proposition (Logic),Computational complexity.

رده :
QA
,
9
.
56
,.
K73
,
1995

6. Bounded arithmetic, propositional logic, and complexity theory

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Constructive mathematics. ; Proposition (Logic) ; Computational complexity. ;

7. Bounded arithmetic, propositional logic, and complexity theory

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Constructive mathematics,، Proposition )Logic(,، Computational complexity

رده :
QA
9
.
56
.
K7

8. Classical and nonclassical logics : an introduction to the mathematics of propositions

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Philosophy ، Mathematics,، Proposition )Logic(

رده :
QA
9
.
3
.
S33C56

9. From naming to saying

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Proposition (Logic),Grammar, Comparative and general--Sentences

رده :
BC
,
181
,.
G46
,
2004

10. From naming to saying :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Proposition (Logic) ;

11. From naming to saying: The unity of the proposition

پدیدآورنده:

کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (اصفهان)

موضوع: Grammar, Comparative and general- Sentences,Proposition )Logic(

رده :
415
G448F

12. From naming to saying: The unity of the proposition

پدیدآورنده:

کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)

موضوع: ، Proposition )Logic(,Sentences ، Grammar, Comparative and general

رده :
BC
181
.
N3

13. From naming to saying: the unity of the proposition

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Proposition )Logic(,Sentences ، Grammar, Comparative and general

رده :
BC
181
.
G46
2004

14. From naming to saying :the unity of the proposition

پدیدآورنده:

کتابخانه: كتابخانه دانشگاه مفيد (قم)

موضوع: ، Proposition )Logic(,Sentences ، Grammar, Comparative and general

رده :
BC181
.
G46
2004

15. From naming to saying : the unity of the proposition

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Proposition )Logic(,، Grammar, Comparative and general -- Sentences

رده :
BC
181
.
G52F7

16. Gentzen calculi for modal propositional logic

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Proposition (Logic) ; Propositional calculus. ;

17. Ibn Sina und die peripatetische "Aussagenlogik"

پدیدآورنده:

کتابخانه: كتابخانه ايرانشناسی مجلس شورای اسلامی (تهران)

موضوع: Ebn Sina, Hoseyn ebn Abd Allah, 980-1037. Contributions in propositional logic,Proposition (Logic) - History,Peripatetics,Logic, Medieval

رده :
B
,
751
,.
Z7
,
M35

18. Judgment and proposition :from Descartes to Kant

پدیدآورنده:

کتابخانه: كتابخانه دانشگاه مفيد (قم)

موضوع: History ، Judgment )Logic(,History ، Proposition )Logic(,، Logic, Modern

رده :
BC181
.
N78
1983

19. Logic :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic -- Outlines, syllabi, etc.,Proposition (Logic),Syllogism.

رده :
BC71
.
B373
2001

20. New thinking about propositions /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Proposition (Logic)

رده :
BC181
.
K564
2014eb